-
1 negation of conditional
Большой англо-русский и русско-английский словарь > negation of conditional
-
2 negation of conditional
Математика: отрицание условного предложенияУниверсальный англо-русский словарь > negation of conditional
-
3 negation of conditional
English-Russian scientific dictionary > negation of conditional
-
4 negation
-
5 conditional
1) лог. условная зависимость, импликация2) вчт условный оператор3) условный; обусловленный4) кондиционный, условный•negation of conditional —
-
6 отрицание условного предложения
Большой англо-русский и русско-английский словарь > отрицание условного предложения
-
7 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
8 CDN
1) Общая лексика: канадский доллар2) Компьютерная техника: consolidated data network3) Техника: corporate data network4) Математика: Continental Decimal Notation5) Юридический термин: Conditional Double Negation6) Сокращение: Canadian7) Нефть: compensated density neutron (log)8) СМИ: Coin Dealer Newsletter9) Сетевые технологии: Content Delivery Network, Content Distribution Networks, Content Delivery Network (Cisco)10) Должность: Certified Dietician Nutritionist11) NYSE. Cadence Design Systems, Inc. -
9 CDn
1) Общая лексика: канадский доллар2) Компьютерная техника: consolidated data network3) Техника: corporate data network4) Математика: Continental Decimal Notation5) Юридический термин: Conditional Double Negation6) Сокращение: Canadian7) Нефть: compensated density neutron (log)8) СМИ: Coin Dealer Newsletter9) Сетевые технологии: Content Delivery Network, Content Distribution Networks, Content Delivery Network (Cisco)10) Должность: Certified Dietician Nutritionist11) NYSE. Cadence Design Systems, Inc. -
10 gate
1) вентиль; (вентильная) схема; логический элемент2) стробирующий импульс; строб-импульс || стробировать; пропускать; управлять пропусканием; управлять отпиранием•- gate through- A AND-NOT B gate
- A except B gate
- A ignore B gate
- A ignore B negative gate
- A implies B gate
- A implies B negative gate
- A OR-NOT B gate
- add gate
- add without carry gate
- addend-in gate
- adder gate
- all or nothing gate
- alternation gate
- alternative denial gate
- amplitude gate
- AND - NOT gate
- AND gate
- AND-to-AND gate
- AND-to-OR gate
- anticoincidence gate
- any but not all gate
- any or all gate
- augend-in gate
- B AND-NOT A gate
- B except A gate
- B ignore A gate
- B ignore A negative gate
- B implies A gate
- B implies a negative gate
- B OR-NOT A gate
- basic gate
- biconditional gate
- Boolean gate
- bud isolation gates
- carry gate
- cascaded gates
- C-gate
- coincidence gate
- complement gate
- conditional implication gate
- conjunction gate
- controllable gate
- crowded gate
- decision gate
- difference gate
- differential gate
- diode gate
- disjunction gate
- dispersion gate
- distance gate
- diversity gate
- don't care gate
- double-input gate
- dual gate
- EITHER-OR gate
- emitter-coupled gate
- equality gate
- equivalence gate
- equivalent gate
- eraser gate
- except gate
- exclusive NOR gate
- exclusive OR gate
- exjunction gate
- fault tree gate
- front-end gate
- gate between channels
- generator gate
- glue-type gate
- identity gate
- if A then B gate
- if A then NOT B gate
- IF-THEN gate
- ignore gate
- implication gate
- inclusion gate
- inclusive NOR gate
- inclusive OR gate
- inequivalence gate
- inhibitory gate
- insulated gate
- intersection gate
- inverted AND gate
- inverting gate
- isolated gate
- join gate
- joint denial gate
- locking gate
- logic product gate
- logic sum gate
- logical gate
- logic gate
- low-power gate
- majority decision gate
- majority gate
- match gate
- matrix gate
- mix gate
- modulo-two sum gate
- multiplicand gate
- NAND gate
- negation gate
- negative AND gate
- negative OR gate
- NEITHER-NOR gate
- N-input gate
- nonconjunctive gate
- nondisjunction gate
- nonequality gate
- nonequivalence gate
- NOR gate
- NOT gate
- NOT-AND gate
- NOT-both gate
- NOT-IF-THEN gate
- null gate
- one gate
- open-collector gate
- OR gate
- OR-ELSE gate
- OR-to-AND gate
- OR-to-OR gate
- partial sum gate
- positive AND gate
- positive OR gate
- priority AND gate
- pulse gate
- pulse-train gate
- quad gate
- readout gate
- reconvergent gate
- rejection gate
- self-aligned gate
- Sheffer stroke gate
- shift gate
- silicon gate
- spare gate
- special gate
- sum readout gate
- sum-out gate
- swap gate
- symmetric difference gate
- threshold gate
- time gate
- true gate
- two-input gate
- union gate
- voltage sensitive gate
- wired gate
- zero gate
- zero-match gateEnglish-Russian dictionary of computer science and programming > gate
-
11 implication
1) импликациябинарная логическая операция, принимающая значение "ложь" только если первый аргумент истинен, а второй - ложен (т. е. операция некоммутативна); соответствует условному высказыванию (conditional statement), поэтому иногда её называют условной связкой.Syn:2) следствие; вывод; следованиесм. тж. consequenceАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > implication
-
12 completeness
См. также в других словарях:
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
Corresponding conditional — This article is about the term corresponding conditional as it is used in logic In logic, the corresponding conditional of an argument (or derivation) is a material conditional whose antecedent is the conjunction of the argument s (or derivation… … Wikipedia
Material conditional — The material conditional, also known as material implication, is a binary truth function, such that the compound sentence p→q (typically read if p then q or p implies q ) is logically equivalent to the negative compound: not (p and not q). A… … Wikipedia
Strict conditional — In logic, a strict conditional is a material conditional that is acted upon by the necessity operator from modal logic. For any two propositions p and q, the formula p ightarrow q says that p materially implies q while Box (p ightarrow q) says… … Wikipedia
connective — connectively, adv. connectivity /kon ek tiv i tee/, n. /keuh nek tiv/, adj. 1. serving or tending to connect: connective remarks between chapters. n. 2. something that connects. 3. Gram. a word used to connect words, phrases, clauses, and… … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Bulgarian language — Not to be confused with Bulgar language. Bulgarian Български език Bălgarski ezik Spoken in Bulgaria, Turkey, Serbia, Greece, Ukraine, Moldova, Romania, Albania, Kosovo, Repub … Wikipedia
List of French in Action episodes — Leçon 1 Orientation= An introduction to French in Action: its creation, its components, and its functioning. How to work with the video programs and how to integrate them with the audio and print components. This is the only program in English;… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
English modal verb — English grammar series English grammar Contraction Disputes in English grammar English compound English honorifics English personal pronouns English plural English relative clauses English verbs English irregular verbs English moda … Wikipedia
Rete algorithm — The Rete algorithm is an efficient pattern matching algorithm for implementing production rule systems. The Rete algorithm was designed by Dr Charles L. Forgy of Carnegie Mellon University, first published in a working paper in 1974, and later… … Wikipedia